Higher-order strategic programming: A road to software assurance
نویسندگان
چکیده
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data to be moved throughout the program structure. This article explores the use of higher-order rewrite rules as the mechanism for accomplishing such data movement. The effectiveness of higher-order rewrite rules is demonstrated by showing how they can be used to perform field distribution within a Java class loader. An approach to formal verification of a higher-order strategic implementation of a class loader is also briefly discussed.
منابع مشابه
Integration of strategic management and quality assurance
The purpose of this study is to investigate the integration of quality assurance and strategic management in higher education. The study presents the concept of the quality map, which is a graphical representation of the quality assurance system. The quality map explicitly takes into account the environment, strategic planning and the internal processes of the organisation. The quality map help...
متن کاملStrategy and Quality Maps in Higher Education
The purpose of this study is to investigate the integration of strategic management and quality assurance in higher education. The study presents how the value chain can be described in the strategy and quality maps, which are, respectively graphical representations of the strategic plan and the quality assurance system. The quality map is a new concept that explicitly takes into account the en...
متن کاملMacro and Micro Perspectives on Strategic Software Quality Assurance in Resource Constrained Environments
Software quality assurance (SQA) plays a key role in software development process. Software quality assurance methods include testing, inspection, formal method (program verification, model checking, etc.), static code analysis, and runtime verification, etc. A disciplined approach to meeting benefit, cost, schedule, and quality constraints is in need. In this paper, we propose two perspectives...
متن کاملDependable Software through Higher-order Strategic Programming
Program transformation is a restricted form of software construction that can be amenable to formal verification. When successful, the nature of the evidence provided by such a verification is considered strong and can constitute a major component of an argument that a high-consequence or safety-critical system meets its dependability requirements. This article explores the application of novel...
متن کاملComparison of Strategic Plans of Universities and Institutes of Higher Education with a Quantitative Approach
Strategic planning in Iranian universities and institutes of higher education is generally prepared using strategic planning models introduced by experts and other universities. These programs will be published in the form of university strategic planning documents. These documents have such features that can be similar or different than the programming templates used. Existence of the similar...
متن کامل